Herman Mntz: A Mathematicians Odyssey

Univalent Foundations and the UniMath Library

We give a concise presentation of the Univalent Foundations of mathematics underlining the main ideas (section 1), followed by a discussion of the large-scale UniMath library of formalized mathematics implementing the ideas of the Univalent Foundations, and the challenges one faces in designing such a library (section 2). This leads us to a general discussion about the links between architectur...

Islamic Architects and Islamic Mathematicians Artistics Meeting, To Utilize Geometry in Architecture The period under study is the fourth to the eleventh AH

In specialized topics of aesthetics, structure and function, the buildings of Islamic architecture in Iran during certain periods, show the strong presence of intellectual sciences such as mathematics. The use of geometry as a part of the science of numerical mathematics, which in its intellectual position has complex calculations, indicates the connection of Islamic architects with the mathema...

Odyssey text independent evaluation data

We discuss the text-independent data supplied for the 2001: A Speaker Odyssey evaluation track. We cover the data creation and selection process, and we present results restricted to the Odyssey test set for participating systems in the 2000 NIST Speaker Recognition Evaluation.

Experience with Adaptive Mobile Applications in Odyssey

In this paper, we present our experience with application-aware adaptation in the context of Odyssey, a platform for mobile data access. We describe three applications that we have modified to run on Odyssey – a video player, a Web browser, and a speech recognition system. Our experience indicates that it is relatively simple to incorporate applications into Odyssey, and that application source...

The Odyssey Project: A Martial Arts Journey Toward Recovery and Liberation